Image from using the
AbstractAlgebra
package
The canonical map from Z_{12} to Z_6.
